Nondeterministic Algebraic Speciications in Relational Syntax

Relational syntax is presented for nondeterministic algebraic spec-iications called the language of relational terms. It is shown how non-deterministic speciications can be translated to the relational terms. A complete inference system is presented for derivation of valid clauses of relational atoms. Finally, a-abstraction construct is introduced extending the syntax of relational terms. It is weaker than the functional-abstraction, but allows translation of rst-order predicate language into the language of relational terms. A slight extension of the inference system remains sound and complete for this extended syntax.